121. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده : / edited by Stewart Shapiro
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics , Philosophy,Logic, Symbolic and mathematical , Philosophy
رده :
E-BOOK
122. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Philosophy ، Mathematics,Philosophy ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
O94
2005
123. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: کتابخانه و مرکز اسناد فرهنگستان هنر (تهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical -- Philosophy
رده :
QA
8
.
4
.
O94
2005
124. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده : / edited by Stewart Shapiro
کتابخانه: كتابخانه جامع جامعة المصطفی (ص) العالمية (قم)
موضوع : Mathematics -- Philosophy,Logic, Symbolic and mathematical. -- Philosophy
رده :
QA8
.
4
.
O94
2005
125. The adventure of reason :
پدیدآورنده : Paolo Mancosu
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy-- History-- 20th century
رده :
QA9
.
M295
2010
126. The age of alternative logics :
پدیدآورنده : edited by Johan van Benthem ... [and others]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory
رده :
BC135
.
A39
2006
127. The age of alternative logics : assessing philosophy of logic and mathematics today
پدیدآورنده : edited by Johan van Benthem... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A35
128. The age of alternative logics: assessing philosophy of logic and mathematics today
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A39
2006
129. The axiomatic method; an introduction to mathematical logic
پدیدآورنده : Lightstone, A. H.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Axioms,، Mathematics-- Philosophy
رده :
QA
248
.
L53
130. The consistency of the Axiom of choice and of the generalized continuum- Hypothesis with the Axioms of set theory
پدیدآورنده : Kurt Godel
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)
موضوع : Mathematics-philosophy,Logic,Symbolic and mathematical
رده :
QA
9
.
G54
131. The consistency of the Axiom of choice and of the generalized continuum- Hypothesis with the Axioms of set theory
پدیدآورنده : Kurt Godel
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Mathematics-philosophy,Logic,Symbolic and mathematical
رده :
QA
9
.
G54
132. The consistency of the axiom of choice and of the generalized continum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1953
133. The consistency of the axiom of choice and of the generalized continuum - Hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1968
134. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
1
.
A626
no
.
3
135. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, kurt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics-Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1966
136. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1940
137. The consistency of the axiom of choice and of the genralized continuum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics-philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1968
138. The construction of logical space /
پدیدآورنده : Agustín Rayo
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic,Logic, Symbolic and mathematical-- Philosophy,Mathematics-- Philosophy,Metaphysics,Space-- Philosophy
رده :
BC135
.
R39
2013
139. The development of mathematical logic
پدیدآورنده : P. H. Nidditch
موضوع : Mathematics--Philosophy.,Logic, Symbolic and mathematical.
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
140. The evolution of Principia mathematica :
پدیدآورنده : Bernard Linsky
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Russell, Bertrand,1872-1970., Principles of mathematics,Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA9
.
R883
L56
2011
